:- include('../symbolic/protocols/parelsnoer0.pl').

instance(ctxm(alpha_1_,umc,ip, (ip,umc1), (ip,umc1))).
instance(ctxm(alpha_1_,ci,ip, (ip,ci), (ip,ci))).
instance(ctxm(alpha_1_,u,bsn,i_bsn,i_bsn)).
instance(ctxm(alpha_1_,u,(d,all,1), (i,d_1), (c,d_1))).
instance(ctxm(alpha_1_,u,(d,all,2), (i,d_2), (c,d_2))).
instance(ctxm(alpha_1_,u,(d,all,3), (i,d_3), (c,d_3))).

instance(ctxm(alpha_2_,umc,ip, (ip,umc2), (ip,umc2))).
instance(ctxm(alpha_2_,ci,ip, (ip,ci), (ip,ci))).
instance(ctxm(alpha_2_,u,bsn,i_bsn,i_bsn)).
instance(ctxm(alpha_2_,u,(d,all,1), (i,d_5), (c,d_5))).
instance(ctxm(alpha_2_,u,(d,all,2), (i,d_6), (c,d_6))).
instance(ctxm(alpha_2_,u,(d,all,3), (i,d_7), (c,d_7))).

instance(ctxm(beta_1_,ci,ip, (ip,ci), (ip,ci))).
instance(ctxm(beta_1_,r,ip, (ip,r), (ip,r))).
instance(ctxm(beta_1_,u,bsn,i_bsn,i_bsn)).
instance(ctxm(beta_1_,r,dom, (dom,r,beta_1_), (dom,r,beta_1_))).
instance(ctxm(beta_1_,u,(d,all,1), (i,d_1), (c,d_1))).
instance(ctxm(beta_1_,u,(d,all,2), (i,d_5), (c,d_5))).

instance(ctxm(beta_2_,ci,ip, (ip,ci), (ip,ci))).
instance(ctxm(beta_2_,r,ip, (ip,r), (ip,r))).
instance(ctxm(beta_2_,u,bsn,i_bsn,i_bsn)).
instance(ctxm(beta_2_,r,dom, (dom,r,beta_2_), (dom,r,beta_2_))).
instance(ctxm(beta_2_,u,(d,all,1), (i,d_2), (c,d_2))).
instance(ctxm(beta_2_,u,(d,all,2), (i,d_6), (c,d_6))).


actor(ctx(alpha_1_,umc),umc1,ip).
actor(ctx(alpha_1_,ci),ci,ip).
actor(ctx(alpha_2_,umc),umc2,ip).
actor(ctx(alpha_2_,ci),ci,ip).
actor(ctx(beta_1_,r),r,ip).
actor(ctx(beta_1_,ci),ci,ip).
actor(ctx(beta_2_,r),r,ip).
actor(ctx(beta_2_,ci),ci,ip).

instpr(alpha_1_,hci).
instpr(alpha_2_,hci).
instpr(beta_1_,cir).
instpr(beta_2_,cir).
